books search
books
articles search
articles
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 12; Issue 4
Main
Journal of Applied Logic
Volume 12; Issue 4
Journal of Applied Logic
Volume 12; Issue 4
1
Temporal logics for concurrent recursive programs: Satisfiability and model checking
Bollig, Benedikt
,
Cyriac, Aiswarya
,
Gastin, Paul
,
Zeitoun, Marc
Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 423 KB
Your tags:
english, 2014
2
Propositional dynamic logic for searching games with errors
Teheux, Bruno
Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 813 KB
Your tags:
english, 2014
3
The categorical imperative: Category theory as a foundation for deontic logic
Peterson, Clayton
Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 2.12 MB
Your tags:
english, 2014
4
Runtime verification using the temporal description logic ALC
Baader, Franz
,
Lippmann, Marcel
Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 1.54 MB
Your tags:
english, 2014
5
The existence of superluminal particles is consistent with relativistic dynamics
Madarász, Judit X.
,
Székely, Gergely
Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 1.50 MB
Your tags:
english, 2014
6
A postulate-based analysis of comparative preference statements
Kaci, Souhila
,
Patel, Namrata
Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 415 KB
Your tags:
english, 2014
7
A logical calculus for controlled monotonicity
D'Agostino, Marcello
,
Piazza, Mario
,
Pulcini, Gabriele
Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 343 KB
Your tags:
english, 2014
8
Second order inductive logic and Wilmers' principle
Kließ, M.S.
,
Paris, J.B.
Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 348 KB
Your tags:
english, 2014
9
Constraint LTL satisfiability checking without automata
Bersani, Marcello M.
,
Frigeri, Achille
,
Morzenti, Angelo
,
Pradella, Matteo
,
Rossi, Matteo
,
San Pietro, Pierluigi
Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 886 KB
Your tags:
english, 2014
10
Products of modal logics and tensor products of modal algebras
Gabbay, Dov
,
Shapirovsky, Ilya
,
Shehtman, Valentin
Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 374 KB
Your tags:
english, 2014
11
Editorial Board
Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 60 KB
Your tags:
english, 2014
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×