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
-
341by Kuroki Júnior, George Hideyuki“... between a Subject who perceives an Object. In this sense, modal logic contributes to the qualification...”
Published 2018
Get full text
-
342by Djintcharadze, Anna“... they mostly could not read Anselm’s Proslogion otherwise than either in terms of propositional or modal logic...”
Published 2017
Get full text
Others -
343by Vidal Wandelmer, Amanda“... MTL, was soon after introduced. On the other hand, classical modal logic is an active field...”
Published 2015
Get full text
Doctoral Thesis -
344by Cruz, Anderson Paiva“... is called BDI logic and it is a modal logic (in general it is a branching time logic) with three access...”
Published 2014
Get full text
Others -
345Published 2002“... === Chapter 4.3.3 --- Modal Logic Approach --- p.64 === Chapter 4.3.4 --- Algebraic Term-Rewriting Approach...”
Get full text
Get full text
Others -
346by Jaroslav Peregrin“.... ‘Semantical Considerations on Modal Logic’. Acta Philosophica Fennica 16: 83–94.<br /><br />Lewis, D. 2002...”
Published 2010-12-01
Get full text
Article -
347by Curiel Diaz, Arturo Tlacaélel“... can then be annotated with logic formulae for its study. A multi-modal logic was chosen as the basis...”
Published 2015
Get full text
-
348by Pereira, Marcio Kléos Freire“... for actualist quantification in modal logic, with interesting results related to the schemes known as Barcan...”
Published 2016
Get full text
Others -
349by Anna Szabolcsi“...’, 82–124. Oxford: Blackwell.<br /><br />Gallin, D. 1975. Intensional and higher-order modal logic...”
Published 2010-12-01
Get full text
Article -
350by Calardo, Erica“...Multi-modal logics are among the best tools developed so far to analyse human reasoning and agents...”
Published 2008
Get full text
-
351by Joseph Lurie“...Justification logics are constructive analogues of modal logics. They are often used as epistemic...”
Published 2018-02-01
Get full text
Article -
352
-
353by Salhi, Yakoub“... of reasoning. In this context there exist many non-classical logics and among them modal logics play a key role...”
Published 2010
Get full text
-
354by Gorín, Daniel Alejandro“... classical modal logics with machinery for describing and reasoning about identity, which is crucial in many...”
Published 2009
Get full text
-
355by Frank Valencia“... behaviour inspired by social networks. They have also been used for proving new results about modal logics...”
Published 2019-08-01
Get full text
Article -
356
-
357“... be seen as explicit counterparts to modal logics. The behavior and interaction of agents in distributed...”
Get full text
Article -
358
-
359
-
360by Heilala, Samuli“...Modal logics were formalized in the early to mid-20th century to pin down the notion of truth...”
Published 2009
Get full text
Others