Filters








898,557 Hits in 3.9 sec

Definability in dynamic logic

Albert R. Meyer, Rohit Parikh
1981 Journal of computer and system sciences (Print)  
In particular, the ordinals ww and 0".2 are indistinguishable by formulas of regular Dynamic Logic.  ...  We study the expressive power of various versions of Dynamic Logic and compare them with each other as well as with standard languages in the logical literature.  ...  Tiuryn for several valuable discussions and Dexter Kozen who, spotted a serious lacuna in our original proof of Theorem 4.  ... 
doi:10.1016/0022-0000(81)90016-7 fatcat:xqf6cd7tqja7pjigizjidcko7e

Defining ontological categories in an expansion of belief dynamics

Jan Westerhoff
2004 Logic and Logical Philosophy  
There have been attempts to get some logic out of belief dynamics, i.e. attempts to define the constants of propositional logic in terms of functions from sets of beliefs to sets of beliefs. 1 It would  ...  The theory presented here will be a (modest) expansion of belief dynamics: it will not only incorporate beliefs, but also parts of beliefs, so called belief fragments.  ...  standard belief dynamics.  ... 
doi:10.12775/llp.2002.012 fatcat:uzxuq3ffifbffn5uuyo7cnxqve

Action negation and alternative reductions for dynamic deontic logics

Jan Broersen
2004 Journal of Applied Logic  
We test the logics we define in this paper against a set of minimal logic requirements.  ...  Dynamic deontic logics reduce normative assertions about explicit complex actions to standard dynamic logic assertions about the relation between complex actions and violation conditions.  ...  In Section 5 we mention some minimal deontic requirements for the deontic action logic we want to base on the dynamic logics defined in Section 2.  ... 
doi:10.1016/j.jal.2004.01.007 fatcat:scm26d4cf5fandfebsys44woee

Modeling of Mixed Logical Dynamical (MLD) Model to Hybrid Three Tank System

Vinod Phani, Cyril Joseph, Satya Narayan Agarwal
2015 IJIREEICE  
In this Project a three tank system is considered. The system can be modeled by using one of the hybrids modeling technique, mixed logical dynamical (MLD) model.  ...  The term hybrid system is defined to describe the models, with both the continuous dynamics and discrete dynamics coexist and interact with each other.  ...  Mixed logical dynamical system: Mixed Logic Dynamical (MLD) is one of the powerful tools in modeling of hybrid systems.  ... 
doi:10.17148/ijireeice.2015.3551 fatcat:x4nynoks4nf5znkhbxlhqt7kga

Dynamic Logic of Quantum Field Theory [article]

Tsubasa Takagi, Hiroki Hoshina, Masatomi Iizawa, Satoru Saito
2020 arXiv   pre-print
We formulate logic of QFT by introducing the perspective of dynamic logic, because the nature of two fundamental operators in QFT, namely creation and annihilation operators, is dynamic in the sense of  ...  After we formulate dynamic logic of QFT, we give a dynamic logical interpretation of fermions, the so-called vacuum state, the zero vector and propagators in QFT.  ...  These quantum connectives have already defined in dynamic quantum logic (DQL) [2] , thus we follow the definition in it. That is, by means of the quantum test [A?  ... 
arXiv:2002.12203v2 fatcat:uetnwsiipvbe3ktebietfryalm

Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic [chapter]

Joseph Boudou, Martín Diéguez, David Fernández-Duque, Fabián Romero
2019 Lecture Notes in Computer Science  
logics for reasoning about dynamical systems and several semantics for logic programming have their roots in this framework.  ...  In this paper we propose four axiomatic systems for intuitionistic linear temporal logic and show that each of these systems is sound for a class of structures based either on Kripke frames or on dynamic  ...  We define validity in the standard way, and with this introduce four additional semantically-defined logics, two of which were already studied by us in Boudou et al. [4] .  ... 
doi:10.1007/978-3-030-19570-0_49 fatcat:bsx7jvjd6jhnbi2m3ir5yofagy

Intention and Rationality for PRS-Like Agents [chapter]

Wayne Wobcke
2002 Lecture Notes in Computer Science  
In this paper, we elaborate on our earlier work on modelling the mental states of PRS-like agents by considering the logical properties of intentions and various rationality postulates for PRS-like agents  ...  agents do not have intentions in the sense required by Bratman's theory.  ...  Agent Dynamic Logic In this section, we summarize our approach to defining the semantics of PRS-like agents' mental states; see Wobcke [13] for more explanation.  ... 
doi:10.1007/3-540-36187-1_15 fatcat:i3sssmwnnvh7pj3trfmfgqe5iu

Cumulative subject index volumes 56–59

1983 Information and Control  
, regular dynamic logic not interpretable in, 59, 94 and deterministic dynamic logic, 57, 48 regular, not interpretable in deterministic context-free dynamic logic, 59, 94 E Error control, and  ...  and extended temporal logic, 56, 72 Definability nontrivial, by flow-chart programs, 58, 59 Dependencies functional and inclusion, implication problem for, 56, 154 Determinism in dynamic logic  ... 
doi:10.1016/s0019-9958(83)80037-0 fatcat:dtwnjwpfbndyfc26jagdqcnmwa

Modal Change Logic (MCL): Specifying the reasoning of knowledge-based systems

Dieter Fensel, Rix Groenboom, G.R.Renardel de Lavalette
1998 Data & Knowledge Engineering  
We define a semantics and axiomatization with the Modal Change Logic (MCL). The main contribution of the paper is not to introduce yet another specification language.  ...  Instead we aim at four goals: (1) defining a framework for describing the dynamic reasoning behavior of knowledge-based systems which integrates existing approaches; (2) defining a semantics for the specification  ...  In KARL, each inference action defines a function which is used to interpret a function symbol used in an assignment in dynamic logic.  ... 
doi:10.1016/s0169-023x(98)00047-0 fatcat:d2k7jaeuindmnmczta6xcmh2gi

A Dynamic Preference Logic for Reasoning about Agent Programming

Marlo Souza, Alvaro Moreira, Renata Vieira, John-Jules Ch. Meyer
2017 2017 Brazilian Conference on Intelligent Systems (BRACIS)  
In this work, we investigate the use of Dynamic Preference Logic to encode BDI mental attitudes.  ...  Also, using the connection between dynamic operations defined over preference models and their encoding as transformations on priority graphs, we show how our logic can be used not only to reason about  ...  In Section II, we introduced three dynamic operations in the logic of Preference Logic.  ... 
doi:10.1109/bracis.2017.43 dblp:conf/bracis/SouzaMVM17 fatcat:gqgu3zpu65akbfhhucce7zhjfe

Dynamic Predicates in Functional Logic Programs

Michael Hanus
2004 Journal of Functional and Logic Programming  
In this paper we propose a new concept to deal with dynamic predicates in functional logic programs.  ...  The definition of a dynamic predicate can change over time, i.e., one can add or remove facts that define this predicate.  ...  In order to write the program code even more in the logic programming style, we define the composition of known and prime as a single name.  ... 
dblp:journals/jflp/Hanus04 fatcat:og73uokphfdllcw73ixuotp47m

Logical entropy of dynamical systems in product MV-algebras and general scheme

Dagmar Markechová, Beloslav Riečan
2019 Advances in Difference Equations  
(Entropy 20:129, 2018), we define the logical entropy of a dynamical system in the studied algebraic structure.  ...  In addition, we introduce a general type of entropy of a product MV-algebra dynamical system that includes the logical entropy and the Kolmogorov-Sinai entropy as special cases.  ...  In Sect. 3, we define and study the logical entropy of a dynamical system in a product MV-algebra and examine its properties.  ... 
doi:10.1186/s13662-019-1946-2 fatcat:7asqoywihbdbfjblsl3pumskzm

Certificates and Separation Logic [chapter]

Martin Nordio, Cristiano Calcagno, Bertrand Meyer
2014 Lecture Notes in Computer Science  
Static specifications are used to verify the implementation of a method and direct method calls (in Java this would be with a super call); dynamic specifications are used for calls that are dynamically  ...  Class Definition A ::= define αC(x) as P Abstract Predicate Family M ::= public virtual C m(D p) DSspec D x; s; Method Definition | public override C m(D p) DSspec D x; s; DSspec ::= dynamic Spec; static  ...  Concurrency for the Source Logic. In this paper, we use the axiomatic semantics of the instruction s 1 || s 2 defined by O'Hearn [19] .  ... 
doi:10.1007/978-3-319-14128-2_16 fatcat:nhnl4e6cnjdpveg4snitsptcie

Axiomatic systems and topological semantics for intuitionistic temporal logic [article]

Joseph Boudou and Martín Diéguez and David Fernández-Duque and Fabián Romero
2018 arXiv   pre-print
We propose four axiomatic systems for intuitionistic linear temporal logic and show that each of these systems is sound for a class of structures based either on Kripke frames or on dynamic topological  ...  Using the soundness results, we show that the four logics obtained from the axiomatic systems are distinct.  ...  On the other hand, this fixed point is not definable in the classical language and hence we no longer obtain a sub-logic of DTL.  ... 
arXiv:1803.05077v1 fatcat:3if43lyzobby3ghfosucc465ny

Certificates and Separation Logic [chapter]

Martin Nordio, Cristiano Calcagno, Bertrand Meyer
2014 Lecture Notes in Computer Science  
Static specifications are used to verify the implementation of a method and direct method calls (in Java this would be with a super call); dynamic specifications are used for calls that are dynamically  ...  Class Definition A ::= define αC(x) as P Abstract Predicate Family M ::= public virtual C m(D p) DSspec D x; s; Method Definition | public override C m(D p) DSspec D x; s; DSspec ::= dynamic Spec; static  ...  Concurrency for the Source Logic. In this paper, we use the axiomatic semantics of the instruction s 1 || s 2 defined by O'Hearn [19] .  ... 
doi:10.1007/978-3-319-05119-2_16 fatcat:g42hcwiehjg6rjnzqnxp4mclni
« Previous Showing results 1 — 15 out of 898,557 results