Suggested Topics within your search.
Suggested Topics within your search.
Modal logic
5
Philosophy: logic
5
Philosophy
3
Artificial intelligence
2
Computer programming / software engineering
2
Computer science
2
Ethics & moral philosophy
2
Mathematical theory of computation
2
Philosophy of language
2
Science: general issues
2
Semantics
2
Software Engineering
2
Western philosophy, from c 1900 -
2
Algorithms and data structures
1
Axiomati-sation
1
Basic power
1
Bimodal logic
1
Binary operators
1
Blok Dichotomy
1
Boolean algebras with operators
1
Computer circuits
1
Computer networking and communications
1
David Kaplan
1
Finite sequence
1
Fitch’s Paradox
1
Games
1
Imperfect information
1
Information Systems
1
Knowledge representation
1
Linear inequalities
1
-
361
-
362by Lloyd Humberstone“... raised semantic difficulties for the modal logics of C. I. Lewis exhibiting it. To counter any...”
Published 2019-08-01
Get full text
Article -
363by Carlos ARECES“... order logic with interesting properties. This approach is seductive because it allows us to view modal...”
Published 2009-09-01
Get full text
Article -
364by Janíček, Miroslav“... structures that are assigned a modal-logical semantics and show how common ground is achieved and maintained...”
Published 2010
Get full text
Dissertation -
365by Eero Tarasti“... of the modalities. This made his method close to even analytic philosophy and modal logics. In both, a linguistic...”
Published 2017-07-01
Get full text
Article -
366“... implications that are based on relational frames for modal logics in the modal cube. it is shown that all...”
Get full text
Article -
367by Birštunas, Adomas“... calculi for BDI logics, like sequent calculi for other modal logics, use loop-check technique to get...”
Published 2010
Get full text
Doctoral Thesis -
368by Birštunas, Adomas“... calculi for BDI logics, like sequent calculi for other modal logics, use loop-check technique to get...”
Published 2010
Get full text
Doctoral Thesis -
369
-
370“... and Seligman 1997). 1Epistemic modal logics and the logic of being informed may collapse in many scenarios...”
Get full text
Article -
371by Chanjuan Liu“... also discuss changes in earlier modal logics expressing 'surface reasoning' about best actions...”
Published 2016-06-01
Get full text
Article -
372by Andrey Sergeevich Emelyanov“... to use the tools of temporal and modal logics. The results can be applied to existential systems...”
Published 2018-09-01
Get full text
Article -
373by Hu¨ttel, Hans“... that they can play in the context of modal logics and notions from language theory. A natural class...”
Published 1991
Get full text
-
374
-
375by Egor V. Kuzmin“... of theoretical results. In particular, languages of temporal modal logics are widely used for modeling...”
Published 2021-03-01
Get full text
Article -
376by Raimondi, Franco“... traditional methodologies based on Ordered Binary Decision Diagrams (OBDDS) for temporal logics to multi-modal...”
Published 2006
Get full text
-
377by Freire, Cibele Matos“... will initially analyze the expressive power of some modal logics with respect to the decision problem REACH...”
Published 2016
Get full text
-
378“... aspect is even more critical when dealing with multi-modal logics, i.e. logics expressing facts about...”
Get full text
Article -
379by Nguyen, Vu“... include a formal representation namely Deontic Petri Nets that combine multiple modal logics and Petri...”
Published 2008
Get full text
Get full text
Others -
380by Kaivola, Roope“...This work examines propositional fixed point temporal and modal logics called mu-calculi...”
Published 1996
Get full text