The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Filters
Public Announcement Logic in Geometric Frameworks
[article]
2011
arXiv
pre-print
Preserved Fulltext
Other Versions
In this paper we introduce public announcement logic in different geometric frameworks. ...
Furthermore, we prove the completeness of public announcement logic in those frameworks. ...
In this work, we consider PAL in two different geometrical frameworks: topological models for modal logic and subset space logic. ...
arXiv:1107.4935v2
fatcat:myxz2hr3lraa3csoejt7stbmz4
Concrete Epistemic Modal Logic: Flatland
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper, we give a logic for perception and knowledge: Flatland. This semantics of this framework is a concrete Kripke model so that it is an easy-to-understand toy example for students. ...
We present a piece of software called Plaza's world enabling to check formulas in such a concrete Kripke model and to announce formulas. ...
framework investigated in [4] and [8] . ...
doi:10.1007/978-3-642-21350-2_9
fatcat:6agnswmarzerdeza2aue2ykume
Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems
2015
Autonomous Agents and Multi-Agent Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
We also consider effects of public announcements. ...
knowledge, as well as dynamic operators reflecting the ability of cameras to turn around in order to reach positions satisfying formulae in the language. ...
Besides programs from PDL, we also add public announcement operator in the language in order to capture public announcement in BBL. ...
doi:10.1007/s10458-015-9306-4
fatcat:cujxflbvbjas7evhplj3wafphe
Introductory Essay of FAMAS'09
2009
Multi-Agent Logics, Languages, and Organisations Federated Workshops
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
The Formal Approaches to Multiagent Systems (FAMAS) workshop series brings together researchers from the fields of logic, theoretical computer science and multi-agent systems in order to discuss formal ...
FAMAS addresses logics and formal methods for multiagent systems. ...
thanks are due to the members of the program committee for their professionalism and their dedication to select papers of quality and to provide authors with useful, constructive feedback during the in-depth ...
dblp:conf/mallow/Dunin-KepliczV09
fatcat:rldrmy7ipzay7ok6b7pxsygw2a
Special issue of DAM on the vapnik-chervonenkis dimension
1998
Discrete Applied Mathematics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The framework has also been formalised as the theory of e-nets for range spaces in computational geometry, where the size of the net is used to characterise the complexity of a number of geometric problems ...
It is, therefore, very pleasing to find the variety of papers that have been accepted for publication in the special issue. ...
doi:10.1016/s0166-218x(98)00019-5
fatcat:pvw5pow6anamdgma34w3z3bqu4
Tachymetry as Resource for Teaching Mathematics in Brazil at the end of the Nineteenth Century
2019
Acta Scientiae
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This article deals with the history of educational materials for the teaching of mathematics in Brazilian education in the last years of the 19th century. ...
Among the educational materials of the time were those of the tachymetric method that wanted to facilitate the study of mathematics in primary elementary schools. ...
In the framework of the Pedagogical Exposition of Rio de Janeiro in 1883, tachymetry was inserted in a broader set of materials suitable for teaching mathematics, including abacuses, arithmometers, geometric ...
doi:10.17648/acta.scientiae.v21isseid5243
fatcat:yyeso5jr2nbhznhegc3p4ag3wu
Seeing, Knowledge and Common Knowledge
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Contrary to the classical epistemic modal logic, we prove that in some configurations the logic with the common knowledge operator is as expressive as the logic without the common knowledge operator. ...
We provide a multi-agent spatially grounded epistemic logical framework to reason about the knowledge of perception (agent a sees agent b) whose potential applications are video games and robotics. ...
This approach is also devoted to teach epistemic modal logic and public announcements using the tool Plaza's world [5] : this framework offers concrete examples of Kripke structures and then helps the ...
doi:10.1007/978-3-642-24130-7_19
fatcat:yufnk7jxdfa5hivgncb3dicx2y
Page 3586 of Mathematical Reviews Vol. , Issue 2001F
[page]
2001
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
This article presents a basic framework of automata theory based on quantum logic. A quantum logic is a logic whose truth values range over an orthomodular lattice. ...
First, however, we should mention that some progress has been made since the publication of this paper. ...
Computer-Aided Discovery and Categorisation of Personality Axioms
[article]
2014
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The personality-test data and the personality theories are related by a Galois-connection in our framework. ...
We propose a computer-algebraic, order-theoretic framework based on intuitionistic logic for the computer-aided discovery of personality axioms from personality-test data and their mathematical categorisation ...
in 1872." 1 In this paper and in the spirit of the Erlanger Programm for geometrical theories, we propose a computer-algebraic, 2 order-theoretic framework based on intuitionistic logic [17] for the ...
arXiv:1403.6048v1
fatcat:4zpsgqoimfbwncfefvjm7tfc4a
Knowledge about Lights along a Line
2009
Multi-Agent Logics, Languages, and Organisations Federated Workshops
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
extended with public announcements. ...
We study links between validities of this geometrical version of epistemic logic and the standard one. We also investigate complexities of model checking and satisfiability. ...
As done in [11] we can extend our framework with public announcements. This is essentially motivated by modelling examples like Muddy children. ...
dblp:conf/mallow/Schwarzentruber09
fatcat:ddiyha4nu5d6zjdybwmk2alpay
Dynamic logic for belief revision
2007
Journal of Applied Non-Classical Logics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. ...
First, we obtain complete logics for concrete mechanisms of belief revision, based on compositional reduction axioms. ...
We have discussed the simple dynamic-epistemic logic of public announcements in great detail. ...
doi:10.3166/jancl.17.129-155
fatcat:7oxnabthubanpdledhbnzsooku
Computation as Conversation
[chapter]
2008
New Computational Paradigms
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
Against the backdrop of current research into 'logical dynamics' of information, we discuss twoway connections between conversation and computation, leading to a broader perspective on both. ...
Dynamic epistemic logic of public announcement The language of public announcement logic PAL is the epistemic language with added action expressions: Formulas P: p | ¬ | ! ...
The epistemic-dynamic role of cc is public announcement. ...
doi:10.1007/978-0-387-68546-5_3
fatcat:txxxurbl7baf7dlywdplm3o5lu
Mario Pieri's address at the University of Catania
2011
Historia Mathematica
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
My aim is to identify Pieri's philosophical premises as found in his works and to present them in the general framework of the historical development of the Peano School. Ó 2010 Elsevier Inc. ...
There he became engaged both by the problems of logic and by the philosophical aspects of Peano's epistemology. ...
demonstration. 11 Peano had already announced the objective of logic in 1889 in Arithmetices principia nova methodo exposita (the principles of arithmetic, presented by a new method) and in I principii ...
doi:10.1016/j.hm.2010.05.004
fatcat:xwjemg7bybgvdjedsnhfm74so4
Neutrosophic Logic: the Revolutionary Logic in Science and Philosophy
2018
Figshare
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The NSIA Iraqi branch presents a suggestion for the international instructions in attempting to organize NSIA's work. ...
This book is an introduction to the activities of the National Symposium, as well as a presentation of Neutrosophic Scientific International Association (NSIA), based in New Mexico, USA, also explaining ...
Neutrosophic Logic is a general framework for unification of many existing logics, such as fuzzy logic (especially intuitionistic fuzzy logic), paraconsistent logic, intuitionistic logic, etc. ...
doi:10.6084/m9.figshare.7077728.v1
fatcat:m4wzo54direanhmaimklmrkq2e
Efficient Geometric Routing in Large-Scale Complex Networks with Low-Cost Node Design
2016
IEICE transactions on communications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Experiments show that the scheme has stretch properties comparable to geometric routing in the hyperbolic plane, while enabling a more efficient hardware design, and scaling considerably better in terms ...
These attractive properties make the scheme promising for routing in large networks. key words: geometric routing, greedy forwarding, greedy embedding, spanning tree, large-scale topology, scale-free networks ...
Acknowledgment This work is partly funded by the European Commission through the EULER project (grant 258307), part of the Future Internet Research and Experimentation (FIRE) objec-tive of the Seventh Framework ...
doi:10.1587/transcom.2015ebp3268
fatcat:fkezzixo5fgepdclhl5wsnmyya
« Previous
Showing results 1 — 15 out of 9,341 results